Analyse comparée d’attributs de Dieu et des bouddhas

Analyse de dépendances et correction des réseaux de preuve

Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...

Valeur pratique comparée des réactions d'agglutination, de conglutination directe, d'hémagglutination polyosidique et protéinique pour le diagnostic de la peste

La sécurité des box ADSL. Analyse de risques et expérimentations

Many French Internet providers include an ADSL box in their offers allowing the customer to easily take advantage of all the services included in the offer. This equipment drastically reduces the technical skills required to install the Internet connection at home. But, to our knowledge, very few studies propose to evaluate the security of these ADSL boxes. This is the purpose of this paper. Th...

Extraction et analyse de l'impact émotionnel des images

This paper proposes a method to extract the emotional impact of images. Emotions are often associated with facial expressions, but we decided not to consider this feature as first emotional characteristic of natural images, which, in general, does not contain faces. Using this statement, our tests have been done on a new image database composed of low semantic diversified images. The complexity...

Analyse spectrale des textes: détection automatique des frontières de langue et de discours

We propose a theoretical framework within which information on the vocabulary of a given corpus can be inferred on the basis of statistical information gathered on that corpus. Inferences can be made on the categories of the words in the vocabulary, and on their syntactical properties within particular languages. Based on the same statistical data, it is possible to build matrices of syntagmati...